منابع مشابه
A New Conditional for Naive Truth Theory
Abstract: In this paper a logic suitable for reasoning disquotationally about truth, TJK, is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and ω-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is in...
متن کاملProof Theory of Finite-valued Logics
Preface Many-valued logic is not much younger than the whole field of symbolic logic. It was introduced in the early twenties of this century by Lukasiewicz [1920] and Post [1921] and has since developed into a very large area of research. Most of the early work done has concentrated on problems of axiomatizability on the one hand, and algebraical/model theoretic investigations on the other. Th...
متن کاملReduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible w...
متن کاملNaive Truth and Naive Logical Properties
A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes (in particular, to the paradoxes of logical properties) and whether a non-classical logic should be expressed in a non-classical metalanguage. The ∗Earlier versions of the material in this paper have been presented ...
متن کاملBinary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequent calculi (each sequent is a pair of formulae) for many valued logic with a finite set of truth values, and of Kripke-like semantics for it that is both sound and complete. We did not use the logic entailment based o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2015
ISSN: 1448-5052
DOI: 10.26686/ajl.v12i1.2082